TypeScript - 특이 케이스

tracking issues

• [[Cross instance member access from subclass]]

Type caveats

• Array와 Tuple중 Array가 먼저 infer되므로 as const 활용 해야함
• keyof는 intersection처럼 작동한다.

interface AMap {
  'AAA': never;
}


interface BMap {
  'B': never;
  'BB': never;
  'BBB': string;
}

interface CMap {
  'C': number;
  'CC': string;
  'CCC': Function;
  'CCCC': Map<any, any>;
}

export type ABCEventMap = AMap & BMap & CMap;
export type ABCType = keyof ABCMap; // keyof AMap | keyof BMap | keyof CMap

• keyof https://stackoverflow.com/questions/51808160/keyof-inferring-string-number-when-key-is-only-a-string

interface XMap {
    [key: string]: any;
}

type X = keyof XMap; // number | string

OOP and Generics

• 제너릭이 2 단계 이상 넘어가면 추론이 안됨
  • https://timdeschryver.dev/blog/argument-of-type-interface-is-not-assignable-to-parameter-of-type-interface
  • https://stackoverflow.com/questions/46068834/typescript-generics-argument-of-type-x-is-not-assignable-to-parameter-of-type
• Generic Inference on assignment
• Abstract static
• module scope 멤버 접근자

Key array

https://stackoverflow.com/questions/43909566/get-keys-of-a-typescript-interface-as-array-of-strings